Skip to content

Conversation

@ofranc
Copy link
Collaborator

@ofranc ofranc commented Jul 8, 2025

Reporter: Mouad

This PR is a new changelog contribution. It has been created automatically.

Make sure to review it carefully before merging it.

@RoRoJ RoRoJ merged commit bf0de40 into main Jul 9, 2025
3 checks passed
@RoRoJ RoRoJ deleted the docs/changelog/2025-07-08-134442 branch July 9, 2025 07:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: changelog Changelog entries

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants